A function that assigns to each ordered pair of elements of
G
an element of
G
.